1. Solving higher-order equations: from logic to programming
Author: Prehofer, Christian
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
L63
.
P74
1997
